Run-time Safety Framework for Component-based Medical Robots

نویسندگان

  • Min Yang Jung
  • Peter Kazanzides
چکیده

As modern medical robot systems are required to perform complex surgical tasks with various sensing and actuation capabilities, it is becoming more important to integrate a variety of sensors, actuators, and control loops into a single system. However, the consideration of nonfunctional properties such as performance and fault tolerance complicates the integration and makes it harder to achieve system safety. In medical robotics, such system issues have not received much attention despite a consensus on the importance of safety within the domain. As our approach to this issue, we present a run-time software environment for safety research on component-based medical robot systems, called the Safety Framework. This framework aims to provide systematic safety methods by decomposing safety features into reusable safety mechanisms and safety specifications. This decomposition enables the accumulation of safety experience and knowledge in a traceable manner, and provides reusable safety design guidelines for designing new medical robot systems.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

PSO-Based Path Planning Algorithm for Humanoid Robots Considering Safety

In this paper we introduce an improvement in the path planning algorithm for the humanoid soccer playing robot which uses Ferguson splines and PSO (Particle Swarm Optimization). The objective of the algorithm is to find a path through other playing robots to the ball, which should be as short as possible and also safe enough. Ferguson splines create preliminary paths using random generated para...

متن کامل

The Umbra Simulation Framework as Applied to Building Hla Federates

Sandia’s Umbra modular simulation framework was designed to enable the modeling of robots for manufacturing, military, and security system concept evaluation. Umbra generalizes data-flow-based simulation to enable modeling of heterogeneous interaction phenomena via a multiple worlds abstraction. This and other features make Umbra particularly suitable for developing simulation federates. Umbra’...

متن کامل

A Completely Wireless Development System for Mobile Robots

This paper presents the design and implementation of a Wireless Development System (WDS) for mobile robots. The WDS has unique features that can greatly facilitate the development and debugging process for mobile robots. In experimentation with mobile robots, a development cycle usually consists of two parts: run-time, and what we call "debug-time." Debug-time is the portion of the development ...

متن کامل

Toward a More Dependable Software Architecture for Autonomous Robots

Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are getting closer to humans and as such are becoming critical systems which must meet safety properties including in particular logical, temporal and real-time constraints. We present an evolution of the LAAS Architecture for Autonomous System and its t...

متن کامل

Incremental Component-Based Construction and Verification of a Robotic System

Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and must meet safety properties including in particular temporal and real-time constraints. We present a methodology for modeling and analyzing a robotic system using the BIP component framework integrated with an existing framework ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013